Student reasoning about graphs in different contexts

Relational Reasoning about Contexts

Reasoning about Student Knowledge and Reasoning

A basic feature of Intelligent Tutoring Systems (ITS) is their ability to represent domain knowledge that can be attributed to the student at each stage of the learning process. In this paper we present a general (first order logic) framework for the representation of this kind of knowledge acquired by the system through the analysis of the student answers. This represantation makes it possible...

Reasoning about Communication Graphs

Let us assume that some agents are connected by a communication graph. In the communication graph, an edge from agent i to agent j means that agent i can directly receive information from agent j. Agent i can then refine its own information by learning information that j has, including information acquired by j from another agent, k. We introduce a multi-agent modal logic with knowledge modalit...

Reasoning about GSTE Assertion Graphs

Reasoning About Assumptions in Graphs of Models

Solving design and analysis problems in physical worlds requires the representatio n of large amounts of knowledge. Recently, there has been much interest in explicitl y making assumptions to decompose this knowledge into smaller Models . A crucial aspect of problem-solving paradigms based on such models is that they include methods to automatically, and efficiently, change models when the init...